Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів
2

Logic-based ontology comparison and module extraction, with an application to DL-Lite

Roman Kontchakov, Frank Wolter, Michael Zakharyaschev
Журнал:
Artificial Intelligence
Рік:
2010
Мова:
english
Файл:
PDF, 864 KB
english, 2010
3

Temporalising Tableaux

Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev
Журнал:
Studia Logica
Рік:
2004
Мова:
english
Файл:
PDF, 551 KB
english, 2004
5

[Lecture Notes in Computer Science] Web Reasoning and Rule Systems Volume 8741 ||

Kontchakov, Roman, Mugnier, Marie-Laure
Рік:
2014
Мова:
english
Файл:
PDF, 5.86 MB
english, 2014
6

Spatial reasoning with RCC

Kontchakov, Roman, Pratt-Hartmann, Ian, Zakharyaschev, Michael
Журнал:
Artificial Intelligence
Рік:
2014
Мова:
english
Файл:
PDF, 1.25 MB
english, 2014
8

Topological Logics with Connectedness over Euclidean Spaces

Kontchakov, Roman, Nenov, Yavor, Pratt-Hartmann, Ian, Zakharyaschev, Michael
Журнал:
ACM Transactions on Computational Logic
Рік:
2013
Мова:
english
Файл:
PDF, 2.96 MB
english, 2013
10

Undecidability of First-Order Intuitionistic and Modal Logics with Two Variables

Roman Kontchakov, Agi Kurucz and Michael Zakharyaschev
Журнал:
Bulletin of Symbolic Logic
Рік:
2005
Мова:
english
Файл:
PDF, 295 KB
english, 2005
12

Temporalising Tableaux

Roman Kontchakov, Frank Wolter, Carsten Lutz and Michael Zakharyaschev
Журнал:
Studia Logica
Рік:
2004
Мова:
english
Файл:
PDF, 3.92 MB
english, 2004
16

Undecidability of First-Order Intuitionistic and Modal Logics with Two variables

Kontchakov, Roman, Kurucz, Agi, Zakharyaschev, Michael
Журнал:
Bulletin of Symbolic Logic
Рік:
2005
Мова:
english
Файл:
PDF, 148 KB
english, 2005
17

Ontology-Mediated Queries

Bienvenu, Meghyn, Kikot, Stanislav, Kontchakov, Roman, Podolskii, Vladimir V., Zakharyaschev, Michael
Журнал:
Journal of the ACM
Рік:
2018
Мова:
english
Файл:
PDF, 3.42 MB
english, 2018